| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16d.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP7W/3ECUU5S | |||
| Repositório | sid.inpe.br/mtc-m19/2013/07.01.14.10 | |||
| Última Atualização | 2013:07.01.14.10.43 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m19/2013/07.01.14.10.43 | |||
| Última Atualização dos Metadados | 2018:06.05.04.14.29 (UTC) administrator | |||
| Rótulo | self-archiving-INPE-MCTI-GOV-BR | |||
| Chave de Citação | RomeroSchnFerr:2013:SySpAl | |||
| Título | Synchronous specialization of Alf for CyberPhysical Systems  | |||
| Ano | 2013 | |||
| Data de Acesso | 17 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 396 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira | |||
| Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 | |||
| Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 2 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br 2 klaus.schneider@cs.uni-kl.de 3 mauricio@ccs.inpe.br | |||
| Endereço de e-Mail | mauricio@ccs.inpe.br | |||
| Nome do Evento | Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering, 1 (EIT CPSE 2013). | |||
| Localização do Evento | Trento, Italy | |||
| Data | May 24 | |||
| Histórico (UTC) | 2013-07-01 14:10:43 :: mauricio@ccs.inpe.br -> administrator :: 2018-06-05 04:14:29 :: administrator -> marcelo.pazos@inpe.br :: 2013 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Palavras-Chave | Alf CPS Cyber-Physical Systems MDA synchronous-reactive MoC system modeling SysML | |||
| Resumo | Systems engineers use SysML as a vendor-independent language to model Cyber-Physical Systems. However, SysML does not provide an executable form to define behavior but this is needed to detect critical issues as soon as possible. Alf integrated with SysML can offer some degree of precision. In this paper, we present an Action Language for Foundational UML (Alf) specialization that introduces the synchronous-reactive Model of Computation to SysML, through definition of not explicitly constrained semantics: timing, concurrency, and inter-object communication. The Smart Parking system, a well-known cyber-physical system, was selected to evaluate this specialization. Our initial results show that the proposed specialization does not add complexity to the task of modeling using SysML, and enables concise and precise behavioral definitions. | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Synchronous specialization of... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Synchronous specialization of... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3ECUU5S | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3ECUU5S | |||
| Idioma | en | |||
| Arquivo Alvo | cpsModelDrivenArchitecture_v2.3.pdf | |||
| Grupo de Usuários | marcelo.pazos@inpe.br mauricio@ccs.inpe.br | |||
| Grupo de Leitores | administrator marcelo.pazos@inpe.br | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Vinculação | Trabalho Vinculado à Tese/Dissertação | |||
| Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 2 sid.inpe.br/bibdigital/2013/10.19.00.29 2 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | marcelo.pazos@inpe.br | |||
| atualizar | ||||